David Brumley - PDFSEARCH.IO - Document Search Engine

David Brumley
Results: 104

#	Item
91	Sweeper: A Lightweight End-to-End System for Defending Against Fast Worms James Newsome David Brumley Dawn Song Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Cyberwarfare Buffer overflow Stack buffer overflow Vulnerability PaX Application checkpointing Heap overflow Valgrind C standard library Computing Software bugs Computer security
92	Computer Networks[removed]–716 www.elsevier.com/locate/comnet Remote timing attacks are practical David Brumley a Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 RSA Finite fields Timing attack Montgomery reduction David Brumley Cipher Dan Boneh OpenSSL XTR Cryptography Public-key cryptography Electronic commerce
93	A Generic Application-Level Protocol Analyzer and its Language Nikita Borisov UIUC [removed] David J. Brumley Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Data Transmission Control Protocol Communications protocol Transport layer Secure Shell Application layer OSI model EMI Wireshark Computing Software OSI protocols
94	Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos, and David Brumley Carnegie Mellon University[removed] Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Address space layout randomization Data Execution Prevention Exploit Pointer JIT spraying Computer security Cyberwarfare Shellcode
95	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation Software engineering Alias analysis Static program analysis X86 assembly language JMP IBM Basic assembly language PDP-8 Random access machine Assembly languages Computer architecture Computing
96	Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Formal methods Program logic Predicate transformer semantics Logic programming Social vulnerability Vulnerability Algorithm FO KeY Theoretical computer science Logic Applied mathematics
97	The BAP Handbook David Brumley, Ivan Jager, Edward J. Schwartz, and Spencer Whitman April 10, 2014 2 Add to Reading List Source URL: bap.ece.cmu.edu Language: English - Date: 2014-04-10 17:39:32 Pointer Binary code Abstraction Binary file X86 Binary star Computing Data Information
98	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 03:36:49 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
99	Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos and David Brumley Carnegie Mellon University, Pittsburgh, PA {edmcman, thanassis, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 C Standard Library Return-to-libc attack Address space layout randomization Buffer overflow Software engineering GADGET MOV Shellcode NX bit Computing Software bugs Computer architecture
100	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-02-15 14:07:11 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing